منابع مشابه
Succinct Partial Sums and Fenwick Trees
We consider the well-studied partial sums problem in succint space where one is to maintain an array of n k-bit integers subject to updates such that partial sums queries can be efficiently answered. We present two succint versions of the Fenwick Tree – which is known for its simplicity and practicality. Our results hold in the encoding model where one is allowed to reuse the space from the inp...
متن کاملBrenda Milner : Career
Since 1950, the bulk of my research has been carried out at the Montreal Neurological Institute, where the availability of patients undergoing unilateral removals from temporal or frontal lobes to control epileptic seizures provided a unique opportunity for studying functional representation in the human brain. The research has evolved around three main themes; the complementary specializations...
متن کاملTuring Meets Milner
We enhance the notion of a computation of the classical theory of computing with the notion of interaction from concurrency theory. In this way, we enhance a Turing machine as a model of computation to a Reactive Turing Machine that is an abstract model of a computer as it is used nowadays, always interacting with the user and the world.
متن کاملWhen Turing Meets Milner
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...
متن کاملCombining Epistemic Logic and Hennessy-Milner Logic
We define an epistemic logic for labelled transition systems by introducing equivalence relations for the agents on the states of the labelled transition system. The idea is that agents observe the dynamics of the system modulo their ability to distinguish states and in the process learn about the current state and past history of the execution. This is in the spirit of dynamic epistemic logic ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: American Anthropologist
سال: 1978
ISSN: 0002-7294,1548-1433
DOI: 10.1525/aa.1978.80.2.02a01290